линии, которые получаются сечением прямого кругового Конуса плоскостями, не проходящими через его вершину. К. с. могут быть трёх типов:

1) секущая плоскость пересекает все образующие конуса в точках одной его полости; линия пересечения есть замкнутая овальная кривая - Эллипс; окружность как частный случай эллипса получается, когда секущая плоскость перпендикулярна оси конуса.

2) Секущая плоскость параллельна одной из касательных плоскостей конуса; в сечении получается незамкнутая, уходящая в бесконечность кривая - Парабола, целиком лежащая на одной полости.

3) Секущая плоскость пересекает обе полости конуса; линия пересечения - Гипербола - состоит из двух одинаковых незамкнутых, простирающихся в бесконечность частей (ветвей гиперболы), лежащих на обеих полостях конуса.

С точки зрения аналитической геометрии К. с.- действительные нераспадающиеся Линии второго порядка.

В тех случаях, когда К. с. имеет центр симметрии (центр), т. е. является эллипсом или гиперболой, его уравнение может быть приведено (путём перенесения начала координат в центр) к виду:

a₁₁x²+2a₁₂xy + a₂₂y² = a₃₃.

Дальнейшие исследования таких (называемых центральными) К. с. показывают, что их уравнения могут быть приведены к ещё более простому виду:

Ах² + Ву²= С, (1)

если за направления осей координат выбрать т. н. главные направления - направления главных осей (осей симметрии) К. с. Если А и В имеют одинаковые знаки (совпадающие со знаком С), то уравнение (1) определяет эллипс; если А и В разного знака, то - гиперболу.

Уравнение параболы привести к виду (1) нельзя. При надлежащем выборе осей координат (одна ось координат - единственная ось симметрии параболы, другая - перпендикулярная к ней прямая, проходящая через вершину параболы) её уравнение можно привести к виду:

y² = 2рх.

К. с. были известны уже математикам Древней Греции (например, Менехму, 4в. до н. э.); с помощью этих кривых решались некоторые задачи на построение (удвоение куба и др.), оказавшиеся недоступными при использовании простейших чертёжных инструментов - циркуля и линейки. В первых дошедших до нас исследованиях греческие геометры получали К. с., проводя секущую плоскость перпендикулярно к одной из образующих, при этом, в зависимости от угла раствора при вершине конуса (т. е. наибольшего угла между образующими одной полости), линия пересечения оказывалась эллипсом, если этот угол -острый, параболой, если - прямой, и гиперболой, если - тупой. Наиболее полным сочинением, посвященным этим кривым, были "Конические сечения" Аполлония Пергского (около 200 до н. э.). Дальнейшие успехи теории К. с. связаны с созданием в 17 в. новых геометрических методов: проективного (французские математики Ж. Дезарг, Б. Паскаль) и в особенности координатного (французские математики Р. Декарт, П. Ферма).

При надлежащем выборе системы координат уравнение К. с. может быть приведено к виду:

y² = 2px + λx² (р и λ постоянные).

Если р ≠ 0, то оно определяет параболу при λ = 0, эллипс при λ < 0, гиперболу при λ > 0. Геометрическое свойство К. с., содержащееся в последнем уравнении, было известно уже древнегреческим геометрам и послужило для Аполлония Пергского поводом присвоить отдельным типам К. с. названия, сохранившиеся до сих пор: слово "парабола" (греческого parabole) означает приложение (т. к. в греческой геометрии превращение прямоугольника данной площади y² в равновеликий ему прямоугольник с данным основанием 2p называлось приложением данного прямоугольника к этому основанию); слово "эллипс" (греческий élleipsis) - недостаток (приложение с недостатком), слово "гипербола" (греческий hyperbole) - избыток (приложение с избытком).

С переходом к современным методам исследования стереометрическое определение К. с. было заменено планиметрическими определениями этих кривых как геометрических мест на плоскости. Так, например, эллипс определяется как геометрическое место точек, для которых сумма расстояний от двух данных точек (фокусов) имеет данное значение.

Можно дать другое планиметрическое определение К. с., охватывающее все три типа этих кривых: К. с.- геометрическое место точек, для каждой из которых отношение её расстояний до данной точки ("фокуса") к расстоянию до данной прямой ("директрисы") равно данному положительному числу ("эксцентриситету") е. Если при этом е < 1, то К. с.- эллипс; если е > 1, то - гипербола; если е = 1, то - парабола.

Интерес к К. с. всегда поддерживался тем, что эти кривые часто встречаются в различных явлениях природы и в человеческой деятельности. В науке К. с. приобрели особенное значение после того, как немецкий астроном И. Кеплер открыл из наблюдений, а английский учёный И. Ньютон теоретически обосновал законы движения планет, один из которых утверждает, что планеты и кометы Солнечной системы движутся по К. с., в одном из фокусов которого находится Солнце. Следующие примеры относятся к отдельным типам К. с.: параболу описывает снаряд или камень, орошенный наклонно к горизонту (правильная форма кривой несколько искажается сопротивлением воздуха); в некоторых механизмах пользуются зубчатыми колёсами эллиптической формы ("эллиптическая зубчатка"); гипербола служит графиком обратной пропорциональности, часто наблюдающейся в природе (например, закон Бойля - Мариотта).

Лит.: Александров П. С., Лекции по аналитической геометрии, М., 1968; Ван дер Варден Б. Л., Пробуждающаяся наука, пер. с голл., М., 1959.

В. И. Битюцков.

Рис. к ст. Конические сечения.

плоские кривые, которые получаются пересечением прямого кругового конуса плоскостью, не проходящей через его вершину (рис. 1). С точки зрения аналитической геометрии коническое сечение представляет собой геометрическое место точек, удовлетворяющих уравнению второго порядка. За исключением вырожденных случаев, рассматриваемых в последнем разделе, коническими сечениями являются эллипсы, гиперболы или параболы.

Конические сечения часто встречаются в природе и технике. Например, орбиты планет, обращающихся вокруг Солнца, имеют форму эллипсов. Окружность представляет собой частный случай эллипса, у которого большая ось равна малой. Параболическое зеркало обладает тем свойством, что все падающие лучи, параллельные его оси, сходятся в одной точке (фокусе). Это используется в большинстве телескопов-рефлекторов, где применяются параболические зеркала, а также в антеннах радаров и специальных микрофонах с параболическими отражателями. От источника света, помещенного в фокусе параболического отражателя, исходит пучок параллельных лучей. Поэтому в мощных прожекторах и автомобильных фарах используются параболические зеркала. Гипербола является графиком многих важных физических соотношений, например, закона Бойля (связывающего давление и объем идеального газа) и закона Ома, задающего электрический ток как функцию сопротивления при постоянном напряжении. См. также НЕБЕСНАЯ МЕХАНИКА
.

См. также:

то же, что Конус.

одно из арифметических определений действительных чисел (См. Действительное число) без привлечения геометрического толкования. Предложено в 1872 немецким математиком Р. Дедекиндом. Д. с. расширяет множество рациональных чисел до множества всех действительных чисел путём введения новых, иррациональных чисел, одновременно упорядочивая их.

Изучая конические сечения как пересечения плоскостей и конусов, древнегреческие математики рассматривали их и как траектории точек на плоскости. Было установлено, что эллипс можно определить как геометрическое место точек, сумма расстояний от которых до двух заданных точек постоянна; параболу - как геометрическое место точек, равноудаленных от заданной точки и заданной прямой; гиперболу - как геометрическое место точек, разность расстояний от которых до двух заданных точек постоянна.

Эти определения конических сечений как плоских кривых подсказывают и способ их построения с помощью натянутой нити.

Эллипс. Если концы нити заданной длины закреплены в точках F1 и F2 (рис. 2), то кривая, описываемая острием карандаша, скользящим по туго натянутой нити, имеет форму эллипса. Точки F1 и F2 называются фокусами эллипса, а отрезки V1V2 и v1v2 между точками пересечения эллипса с осями координат - большей и малой осями. Если точки F1 и F2 совпадают, то эллипс превращается в окружность.

Гипербола. При построении гиперболы точка P, острие карандаша, фиксируется на нити, которая свободно скользит по шпенькам, установленным в точках F1 и F2, как показано на рис. 3,а. Расстояния подобраны так, что отрезок PF2 превосходит по длине отрезок PF1 на фиксированную величину, меньшую расстояния F1F2. При этом один конец нити проходит под шпеньком F1 и оба конца нити проходят поверх шпенька F2. (Острие карандаша не должно скользить по нити, поэтому его нужно закрепить, сделав на нити маленькую петлю и продев в нее острие.) Одну ветвь гиперболы (PV1Q) мы вычерчиваем, следя за тем, чтобы нить оставалась все время натянутой, и потягивая оба конца нити вниз за точку F2, а когда точка P окажется ниже отрезка F1F2, придерживая нить за оба конца и осторожно потравливая (т.е. отпуская) ее. Вторую ветвь гиперболы (P?V2Q?) мы вычерчиваем, предварительно поменяв ролями шпеньки F1 и F2.

Ветви гиперболы приближаются к двум прямым, которые пересекаются между ветвями. Эти прямые, называемые асимптотами гиперболы, строятся как показано на рис. 3,б. Угловые коэффициенты этих прямых равны . (v1v2)/(V1V2), где v1v2 - отрезок биссектрисы угла между асимптотами, перпендикулярной отрезку F1F2; отрезок v1v2 называется сопряженной осью гиперболы, а отрезок V1V2 - ее поперечной осью. Таким образом, асимптоты являются диагоналями прямоугольника со сторонами, проходящими через четыре точки v1, v2, V1, V2 параллельно осям. Чтобы построить этот прямоугольник, необходимо указать местоположение точек v1 и v2. Они находятся на одинаковом расстоянии, равном

от точки пересечения осей O. Эта формула предполагает построение прямоугольного треугольника с катетами Ov1 и V2O и гипотенузой F2O.

Если асимптоты гиперболы взаимно перпендикулярны, то гипербола называется равнобочной. Две гиперболы, имеющие общие асимптоты, но с переставленными поперечной и сопряженной осями, называются взаимно сопряженными.

Парабола. Фокусы эллипса и гиперболы были известны еще Аполлонию, но фокус параболы, по-видимому, впервые установил Папп (2-я пол. 3 в.), определивший эту кривую как геометрическое место точек, равноудаленных от заданной точки (фокуса) и заданной прямой, которая называется директрисой. Построение параболы с помощью натянутой нити, основанное на определении Паппа, было предложено Исидором Милетским (6 в.). Расположим линейку так, чтобы ее край совпал с директрисой LL. (рис. 4), и приложим к этому краю катет AC чертежного треугольника ABC. Закрепим один конец нити длиной AB в вершине B треугольника, а другой - в фокусе параболы F. Натянув острием карандаша нить, прижмем острие в переменной точке P к свободному катету AB чертежного треугольника. По мере того, как треугольник будет перемещаться вдоль линейки, точка P будет описывать дугу параболы с фокусом F и директрисой LL?, так как общая длина нити равна AB, отрезок нити прилегает к свободному катету треугольника, и поэтому оставшийся отрезок нити PF должен быть равен оставшейся части катета AB, т.е. PA. Точка пересечения V параболы с осью называется вершиной параболы, прямая, проходящая через F и V, - осью параболы. Если через фокус провести прямую, перпендикулярную оси, то отрезок этой прямой, отсекаемый параболой, называется фокальным параметром. Для эллипса и гиперболы фокальный параметр определяется аналогично.

Определения Паппа. Установление фокуса параболы навело Паппа на мысль дать альтернативное определение конических сечений в целом. Пусть F - заданная точка (фокус), а L - заданная прямая (директриса), не проходящая через F, и DF и DL - расстояния от подвижной точки P до фокуса F и директрисы L соответственно. Тогда, как показал Папп, конические сечения определяются как геометрические места точек P, для которых отношение DF/DL является неотрицательной постоянной. Это отношение называется эксцентриситетом e конического сечения. При e коническое сечение - эллипс; при e 1 - гипербола; при e = 1 - парабола. Если F лежит на L, то геометрические места имеют вид прямых (действительных или мнимых), которые являются вырожденными коническими сечениями.

Бросающаяся в глаза симметрия эллипса и гиперболы говорит о том, что у каждой из этих кривых есть по две директрисы и по два фокуса, и это обстоятельство навело Кеплера в 1604 на мысль, что и у параболы существует второй фокус и вторая директриса - бесконечно удаленные точка и прямая. Точно также и окружность можно рассматривать как эллипс, фокусы которого совпадают с центром, а директрисы находятся в бесконечности. Эксцентриситет e в этом случае равен нулю.

Конструкция Данделена. Фокусы и директрисы конического сечения можно наглядно продемонстрировать, если воспользоваться сферами, вписанными в конус и называемыми сферами (шарами) Данделена в честь бельгийского математика и инженера Ж.Данделена (1794-1847), предложившего следующую конструкцию. Пусть коническое сечение образовано пересечением некоторой плоскости p с двухполостным прямым круговым конусом с вершиной в точке O. Впишем в этот конус две сферы S1 и S2, которые касаются плоскости p в точках F1 и F2 соответственно. Если коническое сечение - эллипс (рис. 5,а), то обе сферы находятся внутри одной и той же полости: одна сфера расположена над плоскостью p, а другая - под ней. Каждая образующая конуса касается обеих сфер, и геометрическое место точек касания имеет вид двух окружностей C1 и C2, расположенных в параллельных плоскостях p1 и p2. Пусть P - произвольная точка на коническом сечении. Проведем прямые PF1, PF2 и продлим прямую PO. Эти прямые - касательные к сферам в точках F1, F2 и R1, R2. Поскольку все касательные, проведенные к сфере из одной точки, равны, то PF1 = PR1 и PF2 = PR2. Следовательно, PF1 + PF2 = PR1 + PR2 = R1R2. Так как плоскости p1 и p2 параллельны, отрезок R1R2 имеет постоянную длину. Таким образом, величина PR1 + PR2 одна и та же для всех положений точки P, и точка P принадлежит геометрическому месту точек, для которых сумма расстояний от P до F1 и F2 постоянна. Следовательно, точки F1 и F2 - фокусы эллиптического сечения. Кроме того, можно показать, что прямые, по которым плоскость p пересекает плоскости p1 и p2, - директрисы построенного эллипса. Если p пересекает обе полости конуса (рис. 5,б), то две сферы Данделена лежат по одну сторону от плоскости p, по одной сфере в каждой полости конуса. В этом случае разность между PF1 и PF2 постоянна, и геометрическое место точек P имеет форму гиперболы с фокусами F1 и F2 и прямыми - линиями пересечения p с p1 и p2 - в качестве директрис. Если коническое сечение - парабола, как показано на рис. 5,в, то в конус можно вписать только одну сферу Данделена.

Другие свойства. Свойства конических сечений поистине неисчерпаемы, и любое из них можно принять за определяющее. Важное место в Математическом собрании Паппа (ок. 300), Геометрии Декарта (1637) и Началах Ньютона (1687) занимает задача о геометрическом месте точек относительно четырех прямых. Если на плоскости заданы четыре прямые L1, L2, L3 и L4 (две из которых могут совпадать) и точка P такова, что произведение расстояний от P до L1 и L2 пропорционально произведению расстояний от P до L3 и L4, то геометрическое место точек P является коническим сечением. Ошибочно полагая, что Аполлоний и Папп не сумели решить задачу о геометрическом месте точек относительно четырех прямых, Декарт, чтобы получить решение и обобщить его, создал аналитическую геометрию.

Алгебраическая классификация. В алгебраических терминах конические сечения можно определить как плоские кривые, координаты которых в декартовой системе координат удовлетворяют уравнению второй степени. Иначе говоря, уравнение всех конических сечений можно записать в общем виде как

где не все коэффициенты A, B и C равны нулю. С помощью параллельного переноса и поворота осей уравнение (1) можно привести к виду

ax2 + by2 + c = 0

или

px2 + qy = 0.

Первое уравнение получается из уравнения (1) при B2 . AC, второе - при B2 = AC. Конические сечения, уравнения которых приводятся к первому виду, называются центральными. Конические сечения, заданные уравнениями второго вида с q ??0, называются нецентральными. В рамках этих двух категорий существуют девять различных типов конических сечений в зависимости от знаков коэффициентов.

1) Если коэффициенты a, b и c имеют один и тот же знак, то не существует вещественных точек, координаты которых удовлетворяли бы уравнению. Такое коническое сечение называется мнимым эллипсом (или мнимой окружностью, если a = b).

2) Если a и b имеют один знак, а c - противоположный, то коническое сечение - эллипс (рис. 1,а); при a = b - окружность (рис. 6,б).

3) Если a и b имеют разные знаки, то коническое сечение - гипербола (рис. 1,в).

4) Если a и b имеют разные знаки и c = 0, то коническое сечение состоит из двух пересекающихся прямых (рис. 6,а).

5) Если a и b имеют один знак и c = 0, то существует только одна действительная точка на кривой, удовлетворяющая уравнению, и коническое сечение - две мнимые пересекающиеся прямые. В этом случае также говорят о стянутом в точку эллипсе или, если a = b, стянутой в точку окружности (рис. 6,б).

6) Если либо a, либо b равно нулю, а остальные коэффициенты имеют разные знаки, то коническое сечение состоит из двух параллельных прямых.

7) Если либо a, либо b равно нулю, а остальные коэффициенты имеют один знак, то не существует ни одной действительной точки, удовлетворяющей уравнению. В этом случае говорят, что коническое сечение состоит из двух мнимых параллельных прямых.

8) Если c = 0, и либо a, либо b также равно нулю, то коническое сечение состоит из двух действительных совпадающих прямых. (Уравнение не определяет никакого конического сечения при a = b = 0, поскольку в этом случае исходное уравнение (1) не второй степени.)

9) Уравнения второго типа определяют параболы, если p и q отличны от нуля. Если p . 0, а q = 0, мы получаем кривую из п. 8. Если же p = 0, то уравнение не определяет никакого конического сечения, поскольку исходное уравнение (1) не второй степени.

Вывод уравнений конических сечений. Любое коническое сечение можно также определить как кривую, по которой плоскость пересекается с квадратичной поверхностью, т.е. с поверхностью, задаваемой уравнением второй степени f (x, y, z) = 0. По-видимому, конические сечения были впервые распознаны именно в этом виде, а их названия (см. ниже) связаны с тем, что они были получены при пересечении плоскости с конусом z2 = x2 + y2. Пусть ABCD - основание прямого кругового конуса (рис. 7) с прямым углом при вершине V. Пусть плоскость FDC пересекает образующую VB в точке F, основание - по прямой CD и поверхность конуса - по кривой DFPC, где P - любая точка на кривой. Проведем через середину отрезка CD - точку E - прямую EF и диаметр AB. Через точку P проведем плоскость, параллельную основанию конуса, пересекающую конус по окружности RPS и прямую EF в точке Q. Тогда QF и QP можно принять, соответственно, за абсциссу x и ординату y точки P. Получившаяся кривая будет параболой.

Построение, представленное на рис. 7, можно использовать для вывода общих уравнений конических сечений. Квадрат длины отрезка перпендикуляра, восстановленного из любой точки диаметра до пересечения с окружностью, всегда равен произведению длин отрезков диаметра. Поэтому

y2 = RQ?QS.

Для параболы отрезок RQ имеет постоянную длину (так как при любом положении точки P он равен отрезку AE), а длина отрезка QS пропорциональна x (из соотношения QS/EB = QF/FE). Отсюда следует, что

где a - постоянный коэффициент. Число a выражает длину фокального параметра параболы.

Если угол при вершине конуса острый, то отрезок RQ не равен отрезку AE; но соотношение y2 = RQ?QS эквивалентно уравнению вида

где a и b - постоянные, или, после сдвига осей, уравнению

являющемуся уравнением эллипса. Точки пересечения эллипса с осью x (x = a и x = -a) и точки пересечения эллипса с осью y (y = b и y = -b) определяют соответственно большую и малую оси. Если угол при вершине конуса тупой, то кривая пересечения конуса и плоскости имеет вид гиперболы, и уравнение приобретает следующий вид:

или, после переноса осей,

В этом случае точки пересечения с осью x, задаваемые соотношением x2 = a2, определяют поперечную ось, а точки пересечения с осью y, задаваемые соотношением y2 = -b2, определяют сопряженную ось. Если постоянные a и b в уравнении (4a) равны, то гипербола называется равнобочной. Поворотом осей ее уравнение приводится к виду

xy = k.

Теперь из уравнений (3), (2) и (4) мы можем понять смысл названий, данных Аполлонием трем основным коническим сечениям. Термины "эллипс", "парабола" и "гипербола" происходят от греческих слов, означающих "недостает", "равен" и "превосходит". Из уравнений (3), (2) и (4) ясно, что для эллипса y2 < (2b2/a) x, для параболы y2 = (a) x и для гиперболы y2 (2b2/a) x. В каждом случае величина, заключенная в скобки, равна фокальному параметру кривой.

Сам Аполлоний рассматривал только три общих типа конических сечений (перечисленные выше типы 2, 3 и 9), но его подход допускает обобщение, позволяющее рассматривать все действительные кривые второго порядка. Если секущую плоскость выбрать параллельной круговому основанию конуса, то в сечении получится окружность. Если секущая плоскость имеет только одну общую точку с конусом, его вершину, то получится сечение типа 5; если она содержит вершину и касательную к конусу, то мы получаем сечение типа 8 (рис. 6,б); если секущая плоскость содержит две образующие конуса, то в сечении получается кривая типа 4 (рис. 6,а); при переносе вершины в бесконечность конус превращается в цилиндр, и если при этом плоскость содержит две образующие, то получается сечение типа 6.

Если на окружность смотреть под косым углом, то она выглядит как эллипс. Взаимосвязь между окружностью и эллипсом, известная еще Архимеду, становится очевидной, если окружность X2 + Y2 = a2 с помощью подстановки X = x, Y = (a/b) y преобразовать в эллипс, заданный уравнением (3a). Преобразование X = x, Y = (ai/b) y, где i2 = -1, позволяет записать уравнение окружности в виде (4a). Это показывает, что гиперболу можно рассматривать как эллипс с мнимой малой осью, или, наоборот, эллипс можно рассматривать как гиперболу с мнимой сопряженной осью.

Соотношение между ординатами окружности x2 + y2 = a2 и эллипса (x2/a2) + (y2/b2) = 1 непосредственно приводит к формуле Архимеда A = ?ab для площади эллипса. Кеплеру была известна приближенная формула ??(a + b) для периметра эллипса, близкого к окружности, но точное выражение было получено лишь в 18 в. после введения эллиптических интегралов. Как показал Архимед, площадь параболического сегмента составляет четыре третьих площади вписанного треугольника, но длину дуги параболы удалось вычислить лишь после того, как в 17 в. было изобретено дифференциальное исчисление.